Dr Irihapeti Ramsden's powerful argument for cultural safety: Kawa Whakaruruhau

O32: Crash Investigation: powerful tool to assess vehicle safety

لطفاً به چکیده انگلیسی مراجعه شود.

Safety Argument Strategies for Autonomous Vehicles

Assuring safety of autonomous vehicles requires that the vehicle control system can perceive the situation in the environment and react to actions of other entities. One approach to vehicle safety assurance is based on the assumption that hazardous sequences of events should be identified during hazard analysis and then some means of hazard avoidance and mitigation, like barriers, should be des...

Powerful Knowledge: applications in a cultural context

Composition of Safety Argument Patterns

Argument structure patterns can be used to represent classes of safety arguments. Such patterns can become quite complex, making use of loops and choices, posing a potential challenge for comprehension and evaluation, offsetting the likely gains that might follow from creating arguments using them. We show how complex patterns can be constructed by composition of simpler patterns. We provide a ...

Mixing Lisps in Kawa

Kawa started as a Scheme implementation written in Java, based on compiling Scheme forms to Java byte-codes. It has developed into a powerful Scheme dialect whose strengths include speed and easy access to Java classes. It is Free Software that some companies depend on. The Kawa compiler and run-time environment have been generalized to implement other languages besides Scheme, both in the Lisp...